<div>
    Use WebSocket to connect to the Jenkins master rather than the TCP port.
    See <a href="https://www.jenkins.io/jep/222">JEP-222</a> for background.
</div>
